An Overview of Larch/C++: Behavioral Specifications for C++ Modules
نویسنده
چکیده
An overview is presented of the behavioral interface speci cation language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci cation languages. An innovation in Larch/C++ is the use of examples in function speci cations.
منابع مشابه
An Overview of Larch/C++: Behavioral Speci cations for C++ Modules
An overview is presented of the behavioral interface speci cation language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented specication languages. An innovation in Larch/C++ is the use of examples in function speci cations.
متن کاملAN OVERVIEW OF LARCH / C + + : BEHAVIORAL SPECIFICATIONSFOR C + + MODULESGary
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speciication languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor C + +
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملAn Overview of Larch / C + + : Behavioral Specificationsfor
An overview is presented of the behavioral interface speciication language Larch/C++. The features of Larch/C++ used to specify the behavior of C++ functions and classes, including subclasses, are described, with examples. Comparisons are made with other object-oriented speci-cation languages. An innovation in Larch/C++ is the use of examples in function speciications.
متن کاملJML: A Notation for Detailed Design
JML is a behavioral interface specification language tailored to Java. It is designed to be written and read by working software engineers, and should require only modest mathematical training. It uses Eiffel-style syntax combined with model-based semantics, as in VDM and Larch. JML supports quantifiers, specification-only variables, and other enhancements that make it more expressive for speci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014